<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: reduce.y Pages: 1 -->
<svg width="184pt" height="148pt"
 viewBox="0.00 0.00 184.00 148.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 144)">
<title>reduce.y</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-144 180,-144 180,4 -4,4"/>
<!-- 1 -->
<g id="node1" class="node">
<title>1</title>
<polygon fill="none" stroke="#000000" points="176,-140 0,-140 0,-87 176,-87 176,-140"/>
<text text-anchor="middle" x="88" y="-124.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">State 1</text>
<text text-anchor="start" x="8" y="-109.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;3 a: &quot;0&quot; • &#160;[&quot;.&quot;]</text>
<text text-anchor="start" x="8" y="-94.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;4 b: &quot;0&quot; • &#160;[&quot;;&quot;]</text>
</g>
<!-- 1R3 -->
<g id="node2" class="node">
<title>1R3</title>
<polygon fill="#9acd32" stroke="#000000" points="49,-36 18.8347,-18 49,0 79.1653,-18 49,-36"/>
<text text-anchor="middle" x="49" y="-14.3" font-family="Courier,monospace" font-size="14.00" fill="#000000">R3</text>
</g>
<!-- 1&#45;&gt;1R3 -->
<g id="edge1" class="edge">
<title>1&#45;&gt;1R3</title>
<path fill="none" stroke="#000000" d="M77.1363,-86.8979C71.4249,-72.9122 64.4748,-55.8933 58.9111,-42.2696"/>
<polygon fill="#000000" stroke="#000000" points="61.9913,-40.5543 54.9704,-32.6197 55.5109,-43.2008 61.9913,-40.5543"/>
</g>
<!-- 1R4 -->
<g id="node3" class="node">
<title>1R4</title>
<polygon fill="#9acd32" stroke="#000000" points="128,-36 97.8347,-18 128,0 158.1653,-18 128,-36"/>
<text text-anchor="middle" x="128" y="-14.3" font-family="Courier,monospace" font-size="14.00" fill="#000000">R4</text>
</g>
<!-- 1&#45;&gt;1R4 -->
<g id="edge2" class="edge">
<title>1&#45;&gt;1R4</title>
<path fill="none" stroke="#000000" d="M99.1422,-86.8979C105.0575,-72.7751 112.2683,-55.5593 118.0021,-41.8699"/>
<polygon fill="#000000" stroke="#000000" points="121.2415,-43.1955 121.8765,-32.6197 114.7849,-40.4912 121.2415,-43.1955"/>
<text text-anchor="middle" x="133.5" y="-57.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">[&quot;;&quot;]</text>
</g>
</g>
</svg>
